$\forall$$A$, $B$:$\mathbb{P}$. Dec($A$) $\Rightarrow$ ($A$ $\Leftarrow\!\Rightarrow$ $B$) $\Rightarrow$ Dec($B$)